$\forall$$a$:$\mathbb{N}$, $b$:\{$\ldots\,${-}1\}. ($a$ $\div$ $b$) = ({-}($a$ $\div$ ({-}$b$)))